Defeasible reasoning in ORM2
نویسندگان
چکیده
The Object Role Modeling language (ORM2) is one of the main conceptual modeling languages. Recently, a translation has been proposed of a main fragment of ORM2 (ORM2) into the description logic ALCQI, allowing the use of logical instruments in the analysis of ORM schemas. On the other hand, in many ontological domains there is a need for the formalization of defeasible information and of nonmonotonic forms of reasoning. Here we introduce two new constraints in ORM2 language, in order to formalize defeasible information into the schemas, and we explain how to translate such defeasible information inALCQI.
منابع مشابه
Non-monotonic Reasoning in Conceptual Modeling and Ontology Design: A Proposal
The Object Role Modeling language (ORM2) is nowadays the most widespread fact-based conceptual modeling language in the business world. Recently, it has been proposed an encoding of the core fragment of ORM2 (called ORM2 zero ) into the description logic ALCQI, allowing the use of reasoning technologies in the analysis of the schemas. A number of services has been defined there based on the FO ...
متن کاملAnalogy, Decision, And Theory-Formation As Defeasible Reasoning
The development of computationally informed formalisms for reasoning with defeasible rules affords new accounts of familiar forms of reasoning. This paper points to recent accounts of defeasible reasoning and portrays analogy, decision, and theory-formation as essentially defeasible, in the same way that statistical reasoning has been portrayed. Each portrayal depends largely on the idea of par...
متن کاملAn Approach for Argumentation-based Reasoning Using Defeasible Logic in Multi-Agent Programming Languages
Argumentation systems are intimately related to nonmonotonic reasoning, of which defeasible reasoning is one widely-known approach. For example, the literature points out defeasible logic (a particular formalisation of defeasible reasoning) as a practical platform upon which to develop an argumentation system. In this paper, we develop an approach to endow AgentSpeak agents with argumentative c...
متن کاملArgumentation-Based Defeasible Reasoning For Existential Rules
Logic based argumentation allows for defeasible reasoning over monotonic logics. In this paper, we introduce DEFT, a tool implementing argumentative defeasible reasoning over existential rules. We explain how DEFT overcomes derivation loss and discuss DEFT’s empirical behavior.
متن کاملar X iv : c s . L O / 0 20 70 86 v 1 2 5 Ju l 2 00 2 A Model - Theoretic Semantics for Defeasible Logic ⋆
Defeasible logic is an efficient logic for defeasible reasoning. It is defined through a proof theory and, until now, has had no model theory. In this paper a model-theoretic semantics is given for defeasible logic. The logic is sound and complete with respect to the semantics. We also briefly outline how this approach extends to a wide range of defeasible logics.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012